Event-tree analysis using binary decision diagrams

A fault tree analysis strategy using binary decision diagrams

The use of Binary Decision Diagrams (BDDs) in fault tree analysis provides both an accurate and efficient means of analysing a system. There is a problem however, with the conversion process of the fault tree to the BDD. The variable ordering scheme chosen for the construction of the BDD has a crucial effect on its resulting size and previous research has failed to identify any scheme that is c...

Fault tree conversion to binary decision diagrams

Fault tree conversion to binary decision diagrams

Symbolic Fault Tree Analysis for Reactive Systems

Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, which can cause a given top level event, e.g. a system malfunction, to occur. Generating fault trees is particularly critical in the case of reactive systems, as hazards can be the result of complex interactions involvi...

Diagnosis of Discrete-Event Systems using Binary Decision Diagrams

We improve the efficiency of Sampath’s diagnoser approach by exploiting compact symbolic representations of the system and diagnoser in terms of binary decision diagrams. We present an algorithm for synthesising the symbolic diagnoser with promising results on test cases derived from a telecommunication application.